Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
21	Distributed ADMM for Model Predictive Control and Congestion Control João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 Abstract— Many problems in control can be modeled as an optimi Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2012-09-06 05:05:42 Graph theory Augmented Lagrangian method Mathematics Flow network Networks Network theory Routing algorithms Combinatorial optimization
22	71 Documenta Math. Motivic Tubular Neighborhoods Marc Levine Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2007-05-28 05:46:40 Algebra Abstract algebra Mathematics Homotopy theory Model category Bousfield localization Sheaf of spectra Simplicial set Homotopy category Sheaf Functor Grothendieck topology
23	Vision-based Bicycle Detection and Tracking using a Deformable Part Model and an EKF Algorithm Hyunggi Cho, Paul E. Rybski and Wende Zhang Abstract— Bicycles that share the road with intelligent vehicles present partic Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2010-07-23 16:14:25 Computer vision Robot control Artificial intelligence Vision Feature detection Control theory Kalman filter Pedestrian detection Edge detection Part-based models
24	THE BETA-JACOBI MATRIX MODEL, THE CS DECOMPOSITION, AND GENERALIZED SINGULAR VALUE PROBLEMS ALAN EDELMAN AND BRIAN D. SUTTON Abstract. We provide a solution to the β-Jacobi matrix model problem Add to Reading List Source URL: faculty.rmc.edu Language: English - Date: 2007-08-01 16:16:47 Algebra Linear algebra Mathematics Matrix theory Matrices Numerical linear algebra Mathematical physics Singular value decomposition Matrix Orthogonal matrix Tridiagonal matrix Symmetric matrix
25	Computational Analysis of Collective Behaviors via Agent-Based Modeling Lilian Weng and Filippo Menczer Abstract Agent-based modeling (ABM) is a common computational analysis tool to study system dynamics. In the framewo Add to Reading List Source URL: lilianweng.github.io Language: English - Date: 2015-11-03 14:25:52 Academia Systems science Systems theory Simulation Complex systems theory Multi-agent systems Operations research Agent-based model Filippo Menczer Meme Internet meme Complex network
26	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
27	Distributed ADMM for Model Predictive Control and Congestion Control João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 Abstract— Many problems in control can be modeled as an optimi Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 Graph theory Augmented Lagrangian method Mathematics Flow network Networks Network theory Routing algorithms Combinatorial optimization
28	Understanding Modern Portfolio Construction Cullen O. Roche February 22, 2016 ABSTRACT Add to Reading List Source URL: 4ctbn02lk8sw43goqj1005cq.wpengine.netdna-cdn.com Language: English - Date: 2016-03-03 20:58:08 Economy Finance Money Investment Mathematical finance Financial risk Financial markets Financial economics Asset allocation Modern portfolio theory Capital asset pricing model Risk parity
29	A Bayesian Approach to Learning 3D Representations of Dynamic Environments Ralf K¨astner, Nikolas Engelhard, Rudolph Triebel, and Roland Siegwart Abstract We propose a novel probabilistic approach to learning spatial re Add to Reading List Source URL: europa.informatik.uni-freiburg.de Language: English - Date: 2010-12-20 07:34:33 Statistics Statistical theory Estimation theory Bayesian statistics Statistical models Signal processing Cluster analysis Mixture model Maximum likelihood estimation Normal distribution K-means clustering Likelihood function
30	The Segerstrom Model: Stability, Speed of Convergence and Policy Implications Thomas M. Steger Swiss Federal Institute of Technology (Zurich) Abstract Add to Reading List Source URL: www.accessecon.com Language: English - Date: 2003-06-27 15:23:18 Algebra Academia Economic growth Matrix theory Endogenous growth theory Population dynamics Eigenvalues and eigenvectors

UPDATE